__attribute__((noinline)) int f(){
  // CHECK:__stack_chk_guard
  return 3;
  // CHECK: bl	__stack_chk_fail
}

int main(){
  f();
}
